Frapp´ e: Functional Reactive Programming in Java? Antony Courtney Dept. of Computer Science Yale University New Haven, CT 06520

Source URL: www.antonycourtney.com

Scala for TAPL’ers Part 3 Ilya Sergey 16 November 2010

Source URL: ilyasergey.net

• Software engineering
• Computer programming
• Computing
• Functional programming
• Software design patterns
• Monad
• Scripting languages
• Type theory
• Foreach loop
• Null
• Scala
• Option type

DFScala: High Level Dataflow Support for Scala Daniel Goodman, Salman Khan, Chris Seaton, Yegor Gusgov, Behram Khan, Mikel Luján and Ian Watson Workshop on Data-Flow Execution Models for Extreme Scala Computing

Source URL: chrisseaton.com

• Functional programming
• Concurrent programming languages
• Functional languages
• Object-oriented programming languages
• Parallel computing
• Scala
• Pattern matching
• Dataflow
• Concurrent computing
• Anonymous function
• Subroutine
• Immutable object

Proposed Plan of Research Marie-Christine R. Chevalier Introduction Functional programming can improve the reliability and security of software systems in unique ways, but many programmers reject it, arguing that the ine

Source URL: catamorphism.org

FliPpr: A Prettier Invertible Printing System Kazutaka Matsuda1 and Meng Wang2 1 2

Source URL: www2.sf.ecei.tohoku.ac.jp

• Software engineering
• Computer programming
• Parsing algorithms
• Software
• Functional programming
• Parsing
• Logic in computer science
• Compiler construction
• Top-down parsing
• Monad
• Compiler-compiler
• Combinatory logic

Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program

Source URL: www.cs.princeton.edu

• Software engineering
• Computing
• Logic
• Data types
• Functional programming
• Lambda calculus
• Type theory
• Logic in computer science
• Eval
• Hoare logic
• Anonymous function
• Separation logic

Call For Papers 12th International Symposium on Trends on Functional Programming 2011 Madrid, Spain. May 16-18, 2011 Introduction

Source URL: dalila.sip.ucm.es

Inductive and Coinductive Data Types in Typed Lambda Calculus Revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology

Source URL: www.cs.ru.nl

• Type theory
• Computability theory
• Functional programming
• Theoretical computer science
• Recursion
• Initial algebra
• Lambda calculus
• Primitive recursive function
• Inductive type
• Catamorphism
• F-algebra

Polynomial Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda (Tohoku University) Kazuhiro Inaba (National Institute of Informatics*) Keisuke Nakano (the University of Elec

Source URL: www2.sf.ecei.tohoku.ac.jp

• Lambda calculus
• Currying
• Functional programming
• Equation solving
• Logarithm
• Z-transform